6 "WASP" uni jobs at KTH Royal Institute of Technology in Sweden

Doctoral student in Programming Languages and Machine Learning

technology. The PhD student position is funded by WASP (see below) via the project High-Confidence Transformer-Based Compilation of Partially Ambiguous Programs. Read more about the project: https

Doctoral student in Topological data analysis

at least one of these areas and will be part of our topological data analysis group. The position is financed by WASP program with collaboration with the mathematics department at KTH. Wallenberg AI

Doctoral student in Applied Math within Optimization and Systems Theory

. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a major national initiative for strategically motivated basic research, education and faculty

Doctoral student in machine learning for traffic optimization

, Ericsson, and Scania. A major part of the research is conducted within the framework of the Wallenberg AI, Autonomous Systems and Software Program (WASP, https://wasp-sweden.org/) . We have a large academic

Postdoc in Systems Security and Formal Verification

position funded by Wallenberg AI, Autonomous Systems and Software Program (WASP). We are seeking a highly motivated researcher with a strong background in systems security and formal verification to join our

Doctoral students in secure networked learning and control systems

for the detection of cyber-physical attacks, within the framework of a new WASP-project. The Division of Decision and Control Systems and the Division of Network and Systems Engineering conduct fundamental research